p cnf 5 10
c min_var_num 1
c max_var_num 5
c activity_order 1 2 3 4 5 0
1 3 -4 5 0
1 3 4 0
1 -3 -5 0
-1 -5 0
-1 2 0
-1 -2 -4 5 0
-1 -2 4 5 0
-1 -2 -3 -5 0
-1 -2 3 4 0
-1 -2 3 -4 5 0

